Chomsky Hierarchy
Definition / 定义
乔姆斯基层级(Chomsky Hierarchy):形式语言与文法的一种分类体系,按生成能力从弱到强将文法/语言分为四类:
- Type 3 正则文法(Regular)
- Type 2 上下文无关文法(Context-free)
- Type 1 上下文有关文法(Context-sensitive)
- Type 0 无限制文法(Unrestricted / Recursively enumerable)
常用于计算机科学中的自动机理论、编译原理与语言学中的形式句法研究。(该术语也常泛指这四类语言之间的包含关系与对应的计算模型。)
Pronunciation / 发音
/ˈtʃɒmski ˈhaɪərɑːrki/
Examples / 例句
The Chomsky hierarchy helps students compare different kinds of grammars.
乔姆斯基层级帮助学生比较不同类型的文法。
In compiler design, understanding where a language sits in the Chomsky hierarchy can guide parser choices and complexity expectations.
在编译器设计中,了解一种语言在乔姆斯基层级中的位置,有助于选择解析器并预估复杂度。
Etymology / 词源
Chomsky 来自语言学家 Noam Chomsky(诺姆·乔姆斯基) 的姓氏,这一分类体系与他在形式语言与生成语法方面的早期研究密切相关;hierarchy 意为“层级/等级体系”,源自希腊语 hierarkhia(“神圣的统治/等级秩序”),后引申为一般意义上的分层结构。
Related Words / 相关词
Literary Works / 文学作品
- Noam Chomsky, “Three Models for the Description of Language”(1956)
- Noam Chomsky, Syntactic Structures(1957)
- Noam Chomsky, Aspects of the Theory of Syntax(1965)
- John E. Hopcroft & Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation(1979)